Passage-time computation and aggregation strategies for large semi-Markov processes
نویسندگان
چکیده
منابع مشابه
Passage-time computation and aggregation strategies for large semi-Markov processes
High-level semi-Markov modelling paradigms such as semi-Markov stochastic Petri nets and process algebras are used to capture realistic performance models of computer and communication systems but often have the drawback of generating huge underlying semi-Markov processes. Extraction of performance measures such as steady-state probabilities and passage-time distributions therefore relies on sp...
متن کاملAggregation strategies for large semi-Markov processes
High-level semi-Markov modelling paradigms (such as semi-Markov stochastic Petri nets and process algebras) are used to capture realistic performance models of computer and communication systems but have the drawback of generating huge underlying semi-Markov state spaces. Extraction of measures such as steady-state probabilities and passage-time distributions relies on sparse matrix representat...
متن کاملAggregation and Numerical Techniques for Passage Time Calculations in Large semi-Markov Models
First-passage time densities and quantiles are important metrics in performance analysis. They are used in the analysis of mobile communication systems, web servers, manufacturing systems as well as for the analysis of the quality of service of hospitals and government organisations. In this report we look at computational techniques for the first-passage time analysis on highlevel models that ...
متن کاملDistributed Computation of Passage Time Quantiles and Transient State Distributions in Large Semi-Markov Models
Semi-Markov processes (SMPs) are expressive tools for modelling concurrent systems; they are a generalisation of Markov processes that allow for arbitrarily distributed sojourn times. This paper presents an iterative technique for passage time and transient analysis of large structurally unrestricted semi-Markov processes. Our method is based on the calculation and subsequent numerical inversio...
متن کاملDistributed computation of transient state distributions and passage time quantiles in large semi-Markov models
Semi-Markov processes (SMPs) are expressive tools for modelling parallel and distributed systems; they are a generalisation of Markov processes that allow for arbitrarily distributed sojourn times. This paper presents an iterative technique for transient and passage time analysis of large structurally unrestricted semi-Markov processes. Our method is based on the calculation and subsequent nume...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Performance Evaluation
سال: 2011
ISSN: 0166-5316
DOI: 10.1016/j.peva.2010.10.003